On the Role of Mathematical Language Concept in the Theory of Intelligent Systems

can be based on t h e m a t h e m a t i c a l l o g i c and o n i t s model t h e o r y . A d e s c r i p t i v e d e f i n i t i o n o f I S i s g i v e n . One can see t h a t t h e i n v e s t i g a t i o n o f some i m p o r t a n t a s p e c t s o f I S ' s f u n c t i o n i n g l e a d u s t o r e a l i z e the n e c e s s i t y o f a g e n e r a l language c o n c e p t . The d e f i n i t i o n o f t h e language i s g i v e n a s a t r i p l e : language = < s y n t a x , s e t o f p o s s i b l e w o r l d s , v a l i d i t y > . The u s e f u l n e s s o f t h i s language concep t f o r d e s c r i b i n g the I S f u n c t i o n i n g i s shown. M a t h e m a t i c a l background o f t h i s concep t g i v e s t h e p o s s i b i l i t y f o r t h e f o u n d a t i o n o f t h e f o r m a l I S ' s t h e o r y . I n t r o d u c t i o n The r e s e a r c h o f A r t i f i c i a l I n t e l l i g e n c e / A I / i s h i g h l y r a m i f i e d a s i t can b e seen f rom [1 ] and i t d o e s n ' t have a u n i f i e d t h e o r y t h a t wou ld c o o r d i n a t e the d i f f e r e n t b ranches o f r e s e a r c h e s and t h a t wou ld p r o v i d e t h e c o m p a t i b i l i t y o f r e s u l t s One o f t h e main reasons o f t h e s u p e r f i c a l c o n n e c t i o n between t h e d i f f e r e n t r e s e a r c h b ranches o f A I i s t h a t they make use o f and d e v e l o p t h e methods o f v a r i o u s d i s c i p l i n e s , i . e . p s y c h o l o g y , m a t h e m a t i c a l l o g i c , programming t h e o r y , a l g o r y t h m i c t h e o r y , p r o b a b i l i t y t h e o r y , c o n t r o l t h e o r y , l i n g u i s t i c s , e t c . O f cou rse t h i s d i v e r s i t y o f d i s c i p l i n e s may a l s o b e e x p l a i n e d b y t h e f a c t t h a t much e f f o r t i s made o n t h e s a t i s f a c t i o n o f a c t u a l p r a c t i c a l r e q u i r e m e n t s i n t h e deve lopment